CatDat

Implication Details

Assumptions: directed limitsself-dual

Conclusions: directed colimits

Reason: This holds by self-duality.